MirrorSearch (2): list element in braces followed by ">" instead of space